Skip to content

impl ECDSA-POD as introdction pod#1

Merged
arnaucube merged 2 commits intomainfrom
ecdsa-pod
Jun 5, 2025
Merged

impl ECDSA-POD as introdction pod#1
arnaucube merged 2 commits intomainfrom
ecdsa-pod

Conversation

@arnaucube
Copy link
Collaborator

@arnaucube arnaucube commented Jun 3, 2025

benchmarks (i7-1270P 16cores thinkpad):

  • (c1) ecdsa signature verification prove: 14s
  • (c2) ecdsapod prove (verifies the proof from (c1)): 12.5s
  • EcdsaPod total time: 40s
    • if first time: 60s (it has to compute for first time the verifier_datas, which would be parsed or computed beforehand)
  • (for reference, proving the MainPod in the same machine takes 38s)

Depends on 0xPARC/pod2#256

@arnaucube arnaucube marked this pull request as draft June 3, 2025 15:14
@arnaucube arnaucube force-pushed the ecdsa-pod branch 7 times, most recently from eea1bfc to 4d7c232 Compare June 4, 2025 21:45
@arnaucube arnaucube marked this pull request as ready for review June 4, 2025 21:45
@arnaucube arnaucube force-pushed the ecdsa-pod branch 3 times, most recently from 72cda56 to bcdae0e Compare June 5, 2025 08:24
@ed255 ed255 self-requested a review June 5, 2025 09:02
Co-authored-by: Eduard S. <eduardsanou@posteo.net>
Copy link
Collaborator

@ed255 ed255 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great! I've added a few suggestions and a request for an extra test, considering that this introduction pod will be used as a reference for other introduction pods.

@arnaucube arnaucube requested a review from ed255 June 5, 2025 11:14
Copy link
Collaborator

@ed255 ed255 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!
This is a milestone! The first non-trivial pod verified by the Recursive MainPod!

@arnaucube arnaucube merged commit 11de6e1 into main Jun 5, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants